\begin{nusmvCommand}{print\_fair\_transitions} {Prints out the number of fair states}

\cmdLine{print\_fair\_transitions [-h] [-v]}

Prints the number of fair transitions of the given model. In verbose
mode, prints also the list of all fair transitions. The transitions
are displayed as state-input pairs.

\end{nusmvCommand}
